SubstClause $\forall$$n$:$T_{1}$. $P$($n$) 0